Rule Based Abduction
نویسندگان
چکیده
This paper introduces a procedural approach to perform rule based abduction in a knowledge base. In this context a knowledge base is realised as a normal abductive logic program, and an observation can be either a literal or a rule. A SLDNF resolution based proof procedure is employed to achieve this rule based abduction. It is shown that using this algorithm, one can always nd a minimal explanation for the observation if there exists such an explanation.
منابع مشابه
Abduction 4 Motivation and Background
Abduction is a form of reasoning, sometimes described as ”deduction in reverse”, whereby given a rule that ”A follows from B” and the observed result of ”A” we generate as a fact the condition ”B” of the rule so that the observation follows deductively from the rule and the fact. We think of ”B” as a possible explanation for the observation according to the given theory that contains our rule. ...
متن کاملLearning, Bayesian Probability, Graphical Models, and Abduction 1
In this chapter I review Bayesian statistics as used for induction and relate it to logic-based abduction. Much reasoning under uncertainty , including induction, is based on Bayes' rule. Bayes' rule is interesting precisely because it provides a mechanism for abduction. I review work of Buntine that argues that much of the work on Bayesian learning can be best viewed in terms of graphical mode...
متن کاملAbduction and Update in Logic Programs
Logic programming is one of the most popular and widely used knowledge representation tools. In very large scale dynamic domains where there is a constant change in knowledge, sourcing the existing knowledge which is being effected and updating the knowledge base is a crucial point to keep the knowledge base in stable condition. This paper investigates the issues involved in, simple fact/rule b...
متن کاملLearning Bayesian Probability Graphical Models and Abduction
In this chapter I review Bayesian statistics as used for induction and relate it to logic based abduction Much reasoning under un certainty including induction is based on Bayes rule Bayes rule is interesting precisely because it provides a mechanism for abduc tion I review work of Buntine that argues that much of the work on Bayesian learning can be best viewed in terms of graphical models suc...
متن کاملAbductive Inference using Array-Based Logic
The notion of abduction has found its usage within a wide variety of AI fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this intractability we present a new approach to logicbased abduction; through the geometrical view of data employed in array-based logic we embrace abduction in a simple structural operation. We argue that a th...
متن کامل